CoCo 2019: report on the eighth confluence competition

Eighth Annual Mathematics Competition

No calculators are allowed on this test. 10 points for a correct answer, 0 points for an incorrect answer, and 2 points for an answer left blank. Problem 1. What is the number of integers between 1 and 1000 that are not divisible by 2 or 5? A) 100 B) 200 C) 250 D) 300 E *) 400 Solution. 1000 minus 500 (those divisible by 2) minus 200 (those di-visible by 5) plus 100 (the ones divisible by 10 we...

Eighth Biennial Report

ion for Verification Foundational Research on the automated refinement of abstraction in software model checking methods. – Starting date: January 2002

The Forty-Eighth Annual William Lowell Putnam Competition

Prove that A ∩B = C ∩D. Solution: If (x, y) is in D then x = 0 implies y = 0. But (0, 0) is not in C so (x, y) ∈ C ∩D implies x 6= 0. Similarly we deduce (x, y) ∈ C ∩D implies y 6= 0. Check from the definition of B that y = 0 is impossible for x 6= 0 and let me assume that (0, 0) is automatically excluded from the definition of both A and B. From B we learn x = 0 implies y = 1/3 but this does n...

Report of the Eighth Annual Meeting.

COCO: The Experimental Procedure

We present a budget-free experimental setup and procedure for benchmarking numerical optimization algorithms in a black-box scenario. This procedure can be applied with the COCO benchmarking platform. We describe initialization of and input to the algorithm and touch upon the relevance of termination and restarts.